MARY LOU SOFFA: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Complete removal of redundant expressions

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 2.48 MB

english, 2004

2

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Testing Cloud Applications under Cloud-Uncertainty Performance Effects

Wang, Wei, Tian, Ningjing, Huang, Sunzhou, He, Sen, Srivastava, Abhijeet, Soffa, Mary Lou, Pollock, Lori

Year:

2018

Language:

english

File:

PDF, 285 KB

english, 2018

3

Program Slicing-Based Regression Testing Techniques

RAJIV GUPTA, MARY JEAN HARROLD, MARY LOU SOFFA

Journal:

Software Testing, Verification and Reliability

Year:

1996

Language:

english

File:

PDF, 1.63 MB

english, 1996

4

Compilation techniques for a reconfigurable LIW architecture

Rajiv Gupta, Mary Lou Soffa

Journal:

The Journal of Supercomputing

Year:

1989

Language:

english

File:

PDF, 1.71 MB

english, 1989

5

Control discipline necessity: Making the language as general as the implementation

Journal:

BIT Numerical Mathematics

Year:

1982

Language:

english

File:

PDF, 759 KB

english, 1982

6

Memory optimization of dynamic binary translators for embedded systems

Guha, Apala, Hazelwood, Kim, Soffa, Mary Lou

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

7

The impact of software engineering research on modern progamming languages

Ryder, Barbara G., Soffa, Mary Lou, Burnett, Margaret

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 3.03 MB

english, 2005

8

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Incremental compilation of optimized code

Pollock, Lori L., Soffa, Mary Lou

Year:

1985

Language:

english

File:

PDF, 1.50 MB

english, 1985

9

Complete removal of redundant expressions

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 2.03 MB

english, 1998

10

[IEEE 2018 IEEE Security and Privacy Workshops (SPW) - San Francisco, CA, USA (2018.5.24-2018.5.24)] 2018 IEEE Security and Privacy Workshops (SPW) - Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers

Gao, Ji, Lanchantin, Jack, Soffa, Mary Lou, Qi, Yanjun

Year:

2018

Language:

english

File:

PDF, 884 KB

english, 2018

11

On locating minimum feedback vertex sets

Errol L. Lloyd, Mary Lou Soffa, Ching-Chy Wang

Journal:

Journal of Computer and System Sciences

Year:

1988

Language:

english

File:

PDF, 1.21 MB

english, 1988

12

An optimistic implementation of the stack-heap

Jean R.Stephenson Blair, Phil Kearns, Mary Lou Soffa

Journal:

Journal of Systems and Software

Year:

1985

Language:

english

File:

PDF, 1.15 MB

english, 1985

13

Debugging and Testing Optimizers through Comparison Checking

Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 305 KB

english, 2002

14

The implementation of retention in a coroutine environment

John P. Kearns, Mary Lou Soffa

Journal:

Acta Informatica

Year:

1983

Language:

english

File:

PDF, 654 KB

english, 1983

15

Compile-Time Planning for Overhead Reduction in Software Dynamic Translators

Naveen Kumar, Childers Bruce R., Daniel Williams, Jack W. Davidson, Mary Lou Soffa

Journal:

International Journal of Parallel Programming

Year:

2005

Language:

english

File:

PDF, 149 KB

english, 2005

16

Conversion of simulation processes to pascal constructs

Brian Malloy, Mary Lou Soffa

Journal:

Software: Practice and Experience

Year:

1990

Language:

english

File:

PDF, 1.01 MB

english, 1990

17

Incremental register reallocation

Mary P. Bivens, Mary Lou Soffa

Journal:

Software: Practice and Experience

Year:

1990

Language:

english

File:

PDF, 1.85 MB

english, 1990

18

The design and implementation of genesis

Deborah Whitfield, Mary Lou Soffa

Journal:

Software: Practice and Experience

Year:

1994

Language:

english

File:

PDF, 1.10 MB

english, 1994

19

Employing static information in the generation of test cases

Rajiv Gupta, Mary Lou Soffa

Journal:

Software Testing, Verification and Reliability

Year:

1993

Language:

english

File:

PDF, 1.13 MB

english, 1993

20

Reverse execution in a generalized control regime

Fernando Lafora, Mary Lou Soffa

Journal:

Computer Languages

Year:

1984

Language:

english

File:

PDF, 647 KB

english, 1984

21

The contraction of control implementations

Lawrence A. Coon, John P. Kearns, Mary Lou Soffa

Journal:

Computer Languages

Year:

1983

Language:

english

File:

PDF, 834 KB

english, 1983

22

A methodology for controlling the size of a test suite

Harrold, M. Jean, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1993

Language:

english

File:

PDF, 1.07 MB

english, 1993

23

ReSense

Dey, Tanima, Wang, Wei, Davidson, Jack W., Soffa, Mary Lou

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2013

Language:

english

File:

PDF, 3.92 MB

english, 2013

24

[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - A family of test adequacy criteria for database-driven applications

Kapfhammer, Gregory M., Soffa, Mary Lou

Year:

2003

Language:

english

File:

PDF, 258 KB

english, 2003

25

Automated test oracles for GUIs

Memon, Atif M., Pollack, Martha E., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 1.23 MB

english, 2000

26

[IEEE 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA) - Orlando, FL, USA (2014.2.15-2014.2.19)] 2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA) - DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead

Wang, Wei, Dey, Tanima, Davidson, Jack W., Soffa, Mary Lou

Year:

2014

Language:

english

File:

PDF, 340 KB

english, 2014

27

[IEEE 2009 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO) - Seattle, WA, USA (2009.03.22-2009.03.25)] 2009 International Symposium on Code Generation and Optimization - Transparent Debugging of Dynamically Optimized Code

Kumar, Naveen, Childers, Bruce, Soffa, Mary Lou

Year:

2009

Language:

english

File:

PDF, 418 KB

english, 2009

28

[IEEE 2008 IEEE 11th High-Assurance Systems Engineering Symposium (HASE) - Nanjing, China (2008.12.3-2008.12.5)] 2008 11th IEEE High Assurance Systems Engineering Symposium - Path Sensitive Analysis for Security Flaws

Soffa, Mary Lou

Year:

2008

Language:

english

File:

PDF, 33 KB

english, 2008

29

[IEEE Software (ISPASS) - Austin, TX, USA (2011.04.10-2011.04.12)] (IEEE ISPASS) IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE - Characterizing multi-threaded applications based on shared-resource contention

Dey, Tanima, Wang, Wei, Davidson, Jack W., Soffa, Mary Lou

Year:

2011

Language:

english

File:

PDF, 256 KB

english, 2011

30

[IEEE 2011 Frontiers in Education Conference (FIE) - Rapid City, SD, USA (2011.10.12-2011.10.15)] 2011 Frontiers in Education Conference (FIE) - Focusing high school teachers on attracting diverse students to computer science and engineering

Cohoon, James, Cohoon, Joanne M., Soffa, Mary Lou

Year:

2011

Language:

english

File:

PDF, 604 KB

english, 2011

31

[IEEE 2012 IEEE International Symposium on Performance Analysis of Systems & Software (ISPASS) - New Brunswick, NJ, USA (2012.04.1-2012.04.3)] 2012 IEEE International Symposium on Performance Analysis of Systems & Software - Performance analysis of thread mappings with a holistic view of the hardware resources

Wang, Wei, Dey, Tanima, Mars, Jason, Tang, Lingjia, Davidson, Jack W., Soffa, Mary Lou

Year:

2012

Language:

english

File:

PDF, 514 KB

english, 2012

32

Educating Diverse Computing Students at the University of Virginia

Cohoon, James P., Cohoon, J. McGrath, Soffa, Mary Lou

Journal:

Year:

2013

Language:

english

File:

PDF, 1.79 MB

english, 2013

33

Automated test data generation using an iterative relaxation method

Gupta, Neelam, Mathur, Aditya P., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.41 MB

english, 1998

34

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Virtual Execution Environments: Support and Tools

Guha, Apala, Hiser, Jason D., Kumar, Naveen, Yang, Jing, Zhao, Min, Zhou, Shukang, Childers, Bruce R., Davidson, Jack W., Hazelwood, Kim, Soffa, Mary Lou

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

35

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Path-based fault correlations

Le, Wei, Soffa, Mary Lou

Year:

2010

Language:

english

File:

PDF, 2.96 MB

english, 2010

36

Coverage criteria for GUI testing

Memon, Atif M., Soffa, Mary Lou, Pollack, Martha E.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 1.41 MB

english, 2001

37

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Using a goal-driven approach to generate test cases for GUIs

Memon, Atif M., Pollack, Martha E., Soffa, Mary Lou

Year:

1999

Language:

english

File:

PDF, 1.18 MB

english, 1999

38

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Test suite reduction and prioritization with call trees

Smith, Adam, Geiger, Joshua, Kapfhammer, Gregory M., Soffa, Mary Lou

Year:

2007

Language:

english

File:

PDF, 341 KB

english, 2007

39

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - TimeAware test suite prioritization

Walcott, Kristen R., Soffa, Mary Lou, Kapfhammer, Gregory M., Roos, Robert S.

Year:

2006

Language:

english

File:

PDF, 551 KB

english, 2006

40

[ACM Press the 1st ACM SIGSOFT workshop - Newport Beach, California (2004.10.31-2004.11.01)] Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems - WOSS '04 - Instrumentation in software dynamic translators for self-managed systems

Kumar, Naveen, Misurda, Jonathan, Childers, Bruce R., Soffa, Mary Lou

Year:

2004

Language:

english

File:

PDF, 214 KB

english, 2004

41

An approach toward profit-driven optimization

Zhao, Min, Childers, Bruce R., Soffa, Mary Lou

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2006

Language:

english

File:

PDF, 604 KB

english, 2006

42

[ACM Press the 5th international conference - Sydney, Australia (2007.11.06-2007.11.09)] Proceedings of the 5th international conference on Embedded networked sensor systems - SenSys '07 - Clairvoyant

Yang, Jing, Soffa, Mary Lou, Selavo, Leo, Whitehouse, Kamin

Year:

2007

Language:

english

File:

PDF, 290 KB

english, 2007

43

[ACM Press the 16th ACM SIGSOFT International Symposium - Atlanta, Georgia (2008.11.09-2008.11.14)] Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16 - Marple

Le, Wei, Soffa, Mary Lou

Year:

2008

Language:

english

File:

PDF, 1.20 MB

english, 2008

44

[ACM Press the ACM SIGPLAN 1993 conference - Albuquerque, New Mexico, United States (1993.06.21-1993.06.25)] Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - PLDI '93 - A practical data flow framework for array reference analysis and its use in optimizations

Duesterwald, Evelyn, Gupta, Rajiv, Soffa, Mary Lou

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

45

Efficient computation of interprocedural definition-use chains

Harrold, Mary Jean, Soffa, Mary Lou

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 1.90 MB

english, 1994

46

[ACM Press the Tenth International Symposium - San Jose, California (2012.03.31-2012.04.04)] Proceedings of the Tenth International Symposium on Code Generation and Optimization - CHO '12 - Compiling for niceness

Tang, Lingjia, Mars, Jason, Soffa, Mary Lou

Year:

2012

Language:

english

File:

PDF, 765 KB

english, 2012

47

A shape matching approach for scheduling fine-grained parallelism

Malloy, Brian, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGMICRO Newsletter

Year:

1992

Language:

english

File:

PDF, 503 KB

english, 1992

48

Detecting bugs in register allocation

Huang, Yuqiang, Childers, Bruce R., Soffa, Mary Lou

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 926 KB

english, 2010

49

Marple

Le, Wei, Soffa, Mary Lou

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 914 KB

english, 2013

50

Hybrid slicing: integrating dynamic information with static analysis

Gupta, Rajiv, Soffa, Mary Lou, Howard, John

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1997

Language:

english

File:

PDF, 554 KB

english, 1997